test() ->
  #{A => A<caret> || A <- [a, b]}.